2

Verification of robust diagnosability for partially observed discrete event systems

Year:
2012
Language:
english
File:
PDF, 459 KB
english, 2012
5

Robust prognosability for a set of partially observed discrete event systems

Year:
2015
Language:
english
File:
PDF, 596 KB
english, 2015
9

Inference-Based Decentralized Prognosis in Discrete Event Systems

Year:
2011
Language:
english
File:
PDF, 269 KB
english, 2011
10

A characterization of realizable behavior in supervisory control of timed event graphs

Year:
1997
Language:
english
File:
PDF, 446 KB
english, 1997
13

Abstraction-Based Verification for Partially Observed Discrete Event Systems

Year:
2014
Language:
english
File:
PDF, 177 KB
english, 2014
14

Supervisory Control of Discrete Event Systems

Year:
2014
File:
PDF, 2.14 MB
2014
32

Reliable Decentralized Supervisory Control For Marked Language Specifications

Year:
2003
Language:
english
File:
PDF, 252 KB
english, 2003
33

Characterization of all M-controllable subpredicates of a given predicate

Year:
1998
Language:
english
File:
PDF, 173 KB
english, 1998
37

Maximizing robustness of supervisors for partially observed discrete event systems

Year:
2004
Language:
english
File:
PDF, 213 KB
english, 2004
38

A Generalized Inference-Based Prognosis Framework for Discrete Event Systems

Year:
2017
Language:
english
File:
PDF, 437 KB
english, 2017
49

Decentralized state feedback control of discrete event systems

Year:
1994
Language:
english
File:
PDF, 437 KB
english, 1994